Zdancewic, Steve: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Secure Information Flow via Linear Continuations

Steve Zdancewic, Andrew C. Myers

Journal:

Higher-Order and Symbolic Computation

Year:

2002

Language:

english

File:

PDF, 218 KB

english, 2002

2

Formal verification of SSA-based optimizations for LLVM

Zhao, Jianzhou, Nagarakatte, Santosh, Martin, Milo M.K., Zdancewic, Steve

Journal:

ACM SIGPLAN Notices

Year:

2013

Language:

english

File:

PDF, 637 KB

english, 2013

3

Formalizing the LLVM intermediate representation for verified program transformations

Zhao, Jianzhou, Nagarakatte, Santosh, Martin, Milo M.K., Zdancewic, Steve

Journal:

ACM SIGPLAN Notices

Year:

2012

Language:

english

File:

PDF, 714 KB

english, 2012

4

Arrows for secure information flow

Peng Li, Steve Zdancewic

Journal:

Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 540 KB

english, 2010

5

Formalizing Java-MaC

Usa Sammapun, Raman Sharykin, Margaret DeLap, Myong Kim, Steve Zdancewic

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 243 KB

english, 2003

6

A type-theoretic interpretation of pointcuts and advice

Jay Ligatti, David Walker, Steve Zdancewic

Journal:

Science of Computer Programming

Year:

2006

Language:

english

File:

PDF, 440 KB

english, 2006

7

Joint workshop on foundations of computer security and automated reasoning for security protocol analysis (FCS-ARSPA ’06)

Pierpaolo Degano, Ralf Küsters, Luca Viganò, Steve Zdancewic

Journal:

Information and Computation

Year:

2008

Language:

english

File:

PDF, 49 KB

english, 2008

8

Watchdog

Nagarakatte, Santosh, Martin, Milo M. K., Zdancewic, Steve

Journal:

ACM SIGARCH Computer Architecture News

Year:

2012

Language:

english

File:

PDF, 474 KB

english, 2012

9

[ACM Press the 38th annual ACM SIGPLAN-SIGACT symposium - Austin, Texas, USA (2011.01.26-2011.01.28)] Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '11 - Generative type abstraction and type-level computation

Weirich, Stephanie, Vytiniotis, Dimitrios, Peyton Jones, Simon, Zdancewic, Steve

Year:

2011

Language:

english

File:

PDF, 569 KB

english, 2011

10

[ACM Press the 2007 ACM SIGPLAN conference - San Diego, California, USA (2007.06.10-2007.06.13)] Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation - PLDI '07 - Combining events and threads for scalable network services implementation and evaluation of monadic, application-level concurrency primitives

Li, Peng, Zdancewic, Steve

Year:

2007

Language:

english

File:

PDF, 773 KB

english, 2007

11

[ACM Press the 16th ACM conference - Chicago, Illinois, USA (2009.11.09-2009.11.13)] Proceedings of the 16th ACM conference on Computer and communications security - CCS '09 - Reactive noninterference

Bohannon, Aaron, Pierce, Benjamin C., Sjöberg, Vilhelm, Weirich, Stephanie, Zdancewic, Steve

Year:

2009

Language:

english

File:

PDF, 414 KB

english, 2009

12

[ACM Press the 2013 ACM SIGPLAN international conference - Indianapolis, Indiana, USA (2013.10.29-2013.10.31)] Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications - OOPSLA '13 - Ironclad C++

DeLozier, Christian, Eisenberg, Richard, Nagarakatte, Santosh, Osera, Peter-Michael, Martin, Milo M.K., Zdancewic, Steve

Year:

2013

Language:

english

File:

PDF, 637 KB

english, 2013

13

A Type System for Robust Declassification

Zdancewic, Steve

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 195 KB

english, 2003

14

[ACM Press the sixth workshop - Philadelphia, Pennsylvania, USA (2012.01.24-2012.01.24)] Proceedings of the sixth workshop on Programming languages meets program verification - PLPV '12 - Dependent interoperability

Osera, Peter-Michael, Sjöberg, Vilhelm, Zdancewic, Steve

Year:

2012

Language:

english

File:

PDF, 625 KB

english, 2012

15

Hardware-Enforced Comprehensive Memory Safety

Nagarakatte, Santosh, Martin, Milo M.K., Zdancewic, Steve

Journal:

Year:

2013

Language:

english

File:

PDF, 441 KB

english, 2013

16

[IEEE 2009 22nd IEEE Computer Security Foundations Symposium (CSF) - Port Jefferson, NY, USA (2009.07.8-2009.07.10)] 2009 22nd IEEE Computer Security Foundations Symposium - Updatable Security Views

Foster, J. Nathan, Pierce, Benjamin C., Zdancewic, Steve

Year:

2009

Language:

english

File:

PDF, 371 KB

english, 2009

17

[IEEE 2009 IEEE International Symposium on Policies for Distributed Systems and Networks - POLICY - London, UK (2009.07.20-2009.07.22)] 2009 IEEE International Symposium on Policies for Distributed Systems and Networks - Strong and Weak Policy Relations

May, Michael J., Gunter, Carl A., Lee, Insup, Zdancewic, Steve

Year:

2009

Language:

english

File:

PDF, 276 KB

english, 2009

18

[IEEE 2008 21st IEEE Computer Security Foundations Symposium - Pittsburgh, PA, USA (2008.06.23-2008.06.25)] 2008 21st IEEE Computer Security Foundations Symposium - Evidence-Based Audit

Vaughan, Jeffrey A., Jia, Limin, Mazurak, Karl, Zdancewic, Steve

Year:

2008

Language:

english

File:

PDF, 554 KB

english, 2008

19

[IEEE 2007 IEEE Symposium on Security and Privacy - Berkeley, CA, USA (2007.05.20-2007.05.23)] 2007 IEEE Symposium on Security and Privacy (SP '07) - A Cryptographic Decentralized Label Model

Vaughan, Jeffrey A., Zdancewic, Steve

Year:

2007

Language:

english

File:

PDF, 269 KB

english, 2007

20

[IEEE 2012 ACM/IEEE 39th International Symposium on Computer Architecture (ISCA) - Portland, OR, USA (2012.06.9-2012.06.13)] 2012 39th Annual International Symposium on Computer Architecture (ISCA) - Watchdog: Hardware for safe and secure manual memory management and full memory safety

Nagarakatte, Santosh, Martin, Milo M. K., Zdancewic, Steve

Year:

2012

Language:

english

File:

PDF, 372 KB

english, 2012

21

Run-time principals in information-flow type systems

Tse, Stephen, Zdancewic, Steve

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2007

Language:

english

File:

PDF, 660 KB

english, 2007

22

[ACM Press the 13th international conference - Seattle, WA, USA (2008.03.01-2008.03.05)] Proceedings of the 13th international conference on Architectural support for programming languages and operating systems - ASPLOS XIII - Hardbound

Devietti, Joe, Blundell, Colin, Martin, Milo M. K., Zdancewic, Steve

Year:

2008

Language:

english

File:

PDF, 269 KB

english, 2008

23

[ACM Press Proceeding of the 13th ACM SIGPLAN international conference - Victoria, BC, Canada (2008.09.20-2008.09.28)] Proceeding of the 13th ACM SIGPLAN international conference on Functional programming - ICFP '08 - AURA

Jia, Limin, Vaughan, Jeffrey A., Mazurak, Karl, Zhao, Jianzhou, Zarko, Luke, Schorr, Joseph, Zdancewic, Steve

Year:

2008

Language:

english

File:

PDF, 254 KB

english, 2008

24

AURA

Jia, Limin, Vaughan, Jeffrey A., Mazurak, Karl, Zhao, Jianzhou, Zarko, Luke, Schorr, Joseph, Zdancewic, Steve

Journal:

ACM SIGPLAN Notices

Year:

2008

Language:

english

File:

PDF, 254 KB

english, 2008

25

[ACM Press the 39th annual ACM SIGPLAN-SIGACT symposium - Philadelphia, PA, USA (2012.01.25-2012.01.27)] Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '12 - Formalizing the LLVM intermediate representation for verified program transformations

Zhao, Jianzhou, Nagarakatte, Santosh, Martin, Milo M.K., Zdancewic, Steve

Year:

2012

Language:

english

File:

PDF, 714 KB

english, 2012

26

Hardbound

Devietti, Joe, Blundell, Colin, Martin, Milo M. K., Zdancewic, Steve

Journal:

ACM SIGPLAN Notices

Year:

2008

Language:

english

File:

PDF, 269 KB

english, 2008

27

[ACM Press the 36th ACM SIGPLAN Conference - Portland, OR, USA (2015.06.13-2015.06.17)] Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2015 - A formal C memory model supporting integer-pointer casts

Kang, Jeehoon, Hur, Chung-Kil, Mansky, William, Garbuzov, Dmitri, Zdancewic, Steve, Vafeiadis, Viktor

Year:

2015

Language:

english

File:

PDF, 416 KB

english, 2015

28

SoftBound

Nagarakatte, Santosh, Zhao, Jianzhou, Martin, Milo M.K., Zdancewic, Steve

Journal:

ACM SIGPLAN Notices

Year:

2009

Language:

english

File:

PDF, 394 KB

english, 2009

29

Lolliproc

Mazurak, Karl, Zdancewic, Steve

Journal:

ACM SIGPLAN Notices

Year:

2010

Language:

english

File:

PDF, 543 KB

english, 2010

30

Generative type abstraction and type-level computation

Weirich, Stephanie, Vytiniotis, Dimitrios, Peyton Jones, Simon, Zdancewic, Steve

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 569 KB

english, 2011

31

[ACM Press the 2009 ACM SIGPLAN conference - Dublin, Ireland (2009.06.15-2009.06.21)] Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation - PLDI '09 - SoftBound

Nagarakatte, Santosh, Zhao, Jianzhou, Martin, Milo M.K., Zdancewic, Steve

Year:

2009

Language:

english

File:

PDF, 394 KB

english, 2009

32

[ACM Press the ACM SIGPLAN Fourth Workshop - Dublin, Ireland (2009.06.15-2009.06.21)] Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security - PLAS '09 - Encoding information flow in Aura

Jia, Limin, Zdancewic, Steve

Year:

2009

Language:

english

File:

PDF, 266 KB

english, 2009

33

[ACM Press the 15th ACM SIGPLAN international conference - Baltimore, Maryland, USA (2010.09.27-2010.09.29)] Proceedings of the 15th ACM SIGPLAN international conference on Functional programming - ICFP '10 - Lolliproc

Mazurak, Karl, Zdancewic, Steve

Year:

2010

Language:

english

File:

PDF, 543 KB

english, 2010

34

[ACM Press the 34th ACM SIGPLAN conference - Seattle, Washington, USA (2013.06.16-2013.06.19)] Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation - PLDI '13 - Formal verification of SSA-based optimizations for LLVM

Zhao, Jianzhou, Nagarakatte, Santosh, Martin, Milo M.K., Zdancewic, Steve

Year:

2013

Language:

english

File:

PDF, 637 KB

english, 2013

35

[ACM Press the 36th ACM SIGPLAN Conference - Portland, OR, USA (2015.06.13-2015.06.17)] Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2015 - Type-and-example-directed program synthesis

Osera, Peter-Michael, Zdancewic, Steve

Year:

2015

Language:

english

File:

PDF, 472 KB

english, 2015

36

Syntactic type abstraction

Grossman, Dan, Morrisett, Greg, Zdancewic, Steve

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2000

Language:

english

File:

PDF, 443 KB

english, 2000

37

[ACM Press the eighth ACM SIGPLAN international conference - Uppsala, Sweden (2003.08.25-2003.08.29)] Proceedings of the eighth ACM SIGPLAN international conference on Functional programming - ICFP '03 - A theory of aspects

Walker, David, Zdancewic, Steve, Ligatti, Jay

Year:

2003

Language:

english

File:

PDF, 256 KB

english, 2003

38

[ACM Press the 2007 workshop - San Diego, California, USA (2007.06.14-2007.06.14)] Proceedings of the 2007 workshop on Programming languages and analysis for security - PLAS '07 - A BASH

Mazurak, Karl, Zdancewic, Steve

Year:

2007

Language:

english

File:

PDF, 256 KB

english, 2007

39

[ACM Press the 5th ACM SIGPLAN workshop - Madrid, Spain (2010.01.23-2010.01.23)] Proceedings of the 5th ACM SIGPLAN workshop on Types in language design and implementation - TLDI '10 - Lightweight linear types in system f°

Mazurak, Karl, Zhao, Jianzhou, Zdancewic, Steve

Year:

2010

Language:

english

File:

PDF, 496 KB

english, 2010

40

VPHL: A Verified Partial-Correctness Logic for Probabilistic Programs

Rand, Robert, Zdancewic, Steve

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2015

Language:

english

File:

PDF, 264 KB

english, 2015

41

Hardbound

Devietti, Joe, Blundell, Colin, Martin, Milo M. K., Zdancewic, Steve

Journal:

ACM SIGOPS Operating Systems Review

Year:

2008

Language:

english

File:

PDF, 269 KB

english, 2008

42

Ironclad C++

DeLozier, Christian, Eisenberg, Richard, Nagarakatte, Santosh, Osera, Peter-Michael, Martin, Milo M.K., Zdancewic, Steve

Journal:

ACM SIGPLAN Notices

Year:

2013

Language:

english

File:

PDF, 637 KB

english, 2013

43

Combining events and threads for scalable network services implementation and evaluation of monadic, application-level concurrency primitives

Li, Peng, Zdancewic, Steve

Journal:

ACM SIGPLAN Notices

Year:

2007

Language:

english

File:

PDF, 773 KB

english, 2007

44

Hardbound

Devietti, Joe, Blundell, Colin, Martin, Milo M. K., Zdancewic, Steve

Journal:

ACM SIGARCH Computer Architecture News

Year:

2008

Language:

english

File:

PDF, 269 KB

english, 2008

45

A theory of aspects

Walker, David, Zdancewic, Steve, Ligatti, Jay

Journal:

ACM SIGPLAN Notices

Year:

2003

Language:

english

File:

PDF, 256 KB

english, 2003

46

Untrusted hosts and confidentiality

Zdancewic, Steve, Zheng, Lantian, Nystrom, Nathaniel, Myers, Andrew C.

Journal:

ACM SIGOPS Operating Systems Review

Year:

2001

Language:

english

File:

PDF, 1.30 MB

english, 2001

47

[ACM Press the 44th ACM SIGPLAN Symposium - Paris, France (2017.01.15-2017.01.21)] Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2017 - QWIRE: a core language for quantum circuits

Paykin, Jennifer, Rand, Robert, Zdancewic, Steve

Year:

2017

Language:

english

File:

PDF, 258 KB

english, 2017

48

QWIRE: a core language for quantum circuits

Paykin, Jennifer, Rand, Robert, Zdancewic, Steve

Journal:

ACM SIGPLAN Notices

Year:

2017

Language:

english

File:

PDF, 258 KB

english, 2017

49

Position paper: the science of deep specification

Appel, Andrew W., Beringer, Lennart, Chlipala, Adam, Pierce, Benjamin C., Shao, Zhong, Weirich, Stephanie, Zdancewic, Steve

Journal:

Philosophical Transactions Mathematical Physical & Engineering Sciences

Year:

2017

Language:

english

File:

PDF, 407 KB

english, 2017

50

Synthesizing bijective lenses

Miltner, Anders, Fisher, Kathleen, Pierce, Benjamin C., Walker, David, Zdancewic, Steve

Journal:

Proceedings of the ACM on Programming Languages

Year:

2017

Language:

english

File:

PDF, 376 KB

english, 2017